-- ==
-- entry: testMax
-- input { [0u64, 1u64, 18446744073709551615u64, 1u64]
--         [1u64, 1u64, 1u64, 18446744073709551615u64]}
-- output { [1u64, 1u64, 18446744073709551615u64, 18446744073709551615u64] }

-- ==
-- entry: testMin
-- input { [0u64, 1u64, 18446744073709551615u64, 1u64]
--         [1u64, 1u64, 1u64, 18446744073709551615u64]}
-- output { [0u64, 1u64, 1u64, 1u64] }

entry testMax = map2 u64.max
entry testMin = map2 u64.min
